<?php
session_start();
if(isset($_SESSION['userinfo']))
    
{
   $login=true;
   $userinfo=$_SESSIONION['userinfo'];
}
 else {
     $login=false;
 }
 require("index_html.php");

if (isset($_GET['action'])&&($_GET['action'])=='logout'){
     unset($_SESSION['userinfo']);
     if (empty($_SESSION)) {
        session_destroy();
    }
    Header('Loaction:login.php');
     die;
}

